This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.

Ernest Bloch left his native Switzerland to settle in the United States in 1916. One of the great twentieth-century composers, he was influenced by a range of genres and styles - Jewish, American and Swiss - and his works reflect his lifelong struggle with his identity. Drawing on firsthand recollections of relatives and others who knew and worked with the composer, this collection is the most comprehensive study to date of Bloch's life, musical achievement and reception. Contributors present the latest research on Bloch's works and compositional practice, including studies of his Avodath Hakodesh (Sacred Service), violin pieces such as Nigun, the symphonic Schelomo, and the opera Macbeth. Setting the quality and significance of Bloch's output in its historical and cultural contexts, this book provides scholarly analyses as well as a full chronology, list of online resources, catalogue of published and unpublished works, and selected further reading.

This volume contains the papers from the workshop "Radical Innovations of Software and Systems Engineering in the Future." This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. During the last decade object orientation was the driving factor for new system solutions in many areas ranging from e-commerce to embedded systems. New modeling languages such as UML and new programming languages such as Java and CASE tools have considerably in?uenced the system development techniques of today and will remain key techniques for the near future. However, actual practice shows many de?ciencies of these new approaches: - there is no proof and no evidence that software productivity has increased with the new methods; - UML has no clean scienti?c foundations, which inhibits the construction of powerful analysis and development tools; - support for mobile distributed system development is missing; - formanyapplications,object-orienteddesignisnotsuitedtoproducingclean well-structured code, as many applications show.

Ernest Bloch left his native Switzerland to settle in the United States in 1916. One of the great twentieth-century composers, he was influenced by a range of genres and styles - Jewish, American and Swiss - and his works reflect his lifelong struggle with his identity. Drawing on firsthand recollections of relatives and others who knew and worked with the composer, this collection is the most comprehensive study to date of Bloch's life, musical achievement and reception. Contributors present the latest research on Bloch's works and compositional practice, including studies of his Avodath Hakodesh (Sacred Service), violin pieces such as Nigun, the symphonic Schelomo, and the opera Macbeth. Setting the quality and significance of Bloch's output in its historical and cultural contexts, this book provides scholarly analyses as well as a full chronology, list of online resources, catalogue of published and unpublished works, and selected further reading.